jade.content.abs
Class AbsHigherOrderPredicate

java.lang.Object
  |
  +--jade.content.abs.AbsObject
        |
        +--jade.content.abs.AbsContentElement
              |
              +--jade.content.abs.AbsProposition
                    |
                    +--jade.content.abs.AbsHigherOrderPredicate

public class AbsHigherOrderPredicate

extends AbsProposition

Author:

Federico Bergenti - Universita` di Parma

See Also:

Serialized Form

Constructor Summary

AbsHigherOrderPredicate(java.lang.String name)
Constructor

Method Summary

void	set(java.lang.String name, AbsProposition value) Sets an argument of the predicate.

Methods inherited from class jade.content.abs.AbsObject

dump, dump, getAbsObject, getCount, getNames, getTypeName, isGrounded, set

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbsHigherOrderPredicate

public AbsHigherOrderPredicate(java.lang.String name)

Constructor

Parameters:

name -

Method Detail

set

public void set(java.lang.String name,
                AbsProposition value)

Sets an argument of the predicate.

Parameters:

name - the name of the argument.

value - the value of the argument.